#! /bin/bash
# wget https://github.com/raspberrypi/pico-sdk-tools/releases/download/v2.1.0-0/openocd-0.12.0+dev-aarch64-lin.tar.gz
if [ "$1" == "" ]; then
	echo "usage: flash-firmware.sh <firmware_filename>"
else
	~/workspace/rpi-openocd/openocd -c "set FIRMWARE_FILE $1" -f ~/workspace/lepi-gui/conf/lepi-d51-cm5.cfg
fi
